#!/bin/bash

set -e

CROSS_COMPILE=aarch64-linux-gnu- make PLAT=rpi3             \
PRELOADED_BL33_BASE=0x02000000                              \
RPI3_PRELOADED_DTB_BASE=0x01000000                          \
RPI3_DIRECT_LINUX_BOOT=1 DEBUG=1
